-
1 theorem
ˈθɪərəm сущ. теорема to deduce a theorem ≈ выводить теорему to formulate a theorem ≈ формулировать теорему to prove a theorem ≈ доказывать теорему to test a theorem ≈ проверять теорему binomial theorem Syn: principle теорема - by * по теореме - reciprocal * обратная теорема - to prove the * доказать теорему( редкое) выражать посредством или в форме теоремы addition ~ теорема сложения basis ~ теорема об опорном плане cobweb ~ полит.эк. теорема "паутины" cobweb ~ теорема паутины duality ~ теорема двойственности equilibrium ~ теорема о равновесии extended mean value ~ обобщенная теорема о среднем extreme-value ~ теорема об экстремальных значениях limit ~ предельная теорема mean ergodic ~ эргодическая теорема о среднем minimax ~ теорема о минимаксе multiplication ~ теорема умножения optimality ~ теорема об оптимальности saddle-value ~ теорема о седловой точке substitution ~ теорема о замещении tangency ~ теорема касания theorem теорема turnpike ~ теорема о магистрали -
2 theorem
['θɪərəm]сущ.- Pythagoras' theorem
См. также в других словарях:
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Геометрия — (γήμετρώ земля, μετρώ мерю). Понятия о пространстве, положении и форме принадлежат к числу первоначальных, с которыми человек был знаком уже в глубокой древности. Первые шаги в Г. были сделаны египтянами и халдеями. В Греции Г. была введена… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Блез Паскаль — Паскаль Блез Blaise Pascal Блез Паскаль (автор Филипп де Шампень) Род деятельности: математик, философ, литер … Википедия
Паскаль Б. — Паскаль Блез Blaise Pascal Блез Паскаль (автор Филипп де Шампень) Род деятельности: математик, философ, литер … Википедия
Паскаль Блез — Blaise Pascal Блез Паскаль (автор Филипп де Шампень) Род деятельности: математик, философ, литер … Википедия
Юм Давид — (Hume) знаменитый философ и историк. Родился в Эдинбурге 26 апреля 1711 г. Происходил из благородной шотландской фамилии. Отца он потерял в детстве; мать, которую он вспоминает с любовью и благодарностью, посвятила себя воспитанию детей. Учился в … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Юм, Давид — (Hume) знаменитый философ и историк. Родился в Эдинбурге 26 апреля 1711 г. Происходил из благородной шотландской фамилии. Отца он потерял в детстве; мать, которую он вспоминает с любовью и благодарностью, посвятила себя воспитанию детей. Учился в … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Медицина — I Медицина Медицина система научных знаний и практической деятельности, целями которой являются укрепление и сохранение здоровья, продление жизни людей, предупреждение и лечение болезней человека. Для выполнения этих задач М. изучает строение и… … Медицинская энциклопедия
ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) … Философская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
логика — ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… … Энциклопедия эпистемологии и философии науки